Y($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\lambda$$x$.$f$($x$($x$)))($\lambda$$x$.$f$($x$($x$)))